<?php
function b() : int {
    ;
}